8

A note on unbounded metric temporal logic over dense time domains

Year:
2006
Language:
english
File:
PDF, 114 KB
english, 2006
11

A Logic for Quantum Register Measurements

Year:
2019
Language:
english
File:
PDF, 379 KB
english, 2019
13

A natural deduction system for bundled branching time logic

Year:
2013
Language:
english
File:
PDF, 568 KB
english, 2013
14

A two‐dimensional metric temporal logic

Year:
2019
Language:
english
File:
PDF, 287 KB
english, 2019
16

IT agility: striking the right balance

Year:
2008
Language:
english
File:
PDF, 130 KB
english, 2008
35

Acneiform eruption induced by ethosuximide

Year:
2014
Language:
english
File:
PDF, 537 KB
english, 2014